641. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
642. Mathematical logic and programming language
Author: Hoare, C. A. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
643. Mathematical logic and programming languages
Author: / edited by C.A.R. Hoare and J.C. Shepherdson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
644. Mathematical logic and programming languages
Author: / Edited by C. A. R. Hoare, J. C. Shepherdson
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming languages (Electronic computers),Logic, symbolic and mathematical
Classification :
QA76
.
6
.
M3646
1985
645. Mathematical logic in computer science
Author: / edited by B. Domolki and T. Gergely
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA76
،.
M352
1981
646. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
647. Mc Graw- Hill Personal computer programming encyclopedia
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Microcomputers- Programming,Programming Languages (Electronic computers),Operating System (Computers)
Classification :
QA
،
76
.
6
،.
M414
،
1985
648. McGraw-Hill personal computer programming encyclepedia: languages and operating systems
Author: William J. Birnes, editor;Nancy Hayfield, production editor
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Microcomputers,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989
649. McGraw-Hill personal computer programming encyclopedia
Author: / edited by William Birnes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Microcomputers- Programming- Dictionaries,Programming languages (Electronic computers)- Dictionaries,Operating systems (Computer)- Dictionaries
Classification :
QA76
.
6
.
M414
1989
R
650. McGraw-Hill personal computer programming encyclopedia: languages and operating systems
پدیدآورنده :
موضوع : ، Microcomputers-- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
651. McGraw-Hill personal computer programming encyclopedia languages and operating systems
Author: William J. Birnes, editor; Nancy Hayfield, production editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Microcomputers -- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1985
652. McGraw- Hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Microcomputers- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989
653. McGraw-Hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
Library: Central Library and Documentation Center (Kerman)
Subject: ، Microcomputers - Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989
654. Mcgraw-hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor, Nancy Hayfield, production editor
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Microcomputers Programming, Programming languages )Electronic computers( , Operating systems )Computers(
Classification :
QA
76
.
6
.
M42
1985
655. Mes premieres constructions de programmes
Author: Gerbier, A
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algorithms
Classification :
QA
76
.
G47
656. Meta - Levels Architectures and Reflection
Author: Edited by Patie MAES, Daniele NARDI
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
Classification :
QA
،
76
.
7
،.
M48
،
1988
657. Meta-level architectures and reflection
Author: edited by Pattie Maes, Daniel Nardi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
Classification :
QA
76
.
7
.
M48
1988
658. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
Author: Pierre Cointe )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1616
659. MetaSoft Primer
Author: \ Andrzej Blikle.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Metalanguage,فرازبان,a02,a02,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامهنویسی کامپیوتر -- معنیشناسی
Classification :
E-Book
,
660. MetaSoft primer :
Author: Andrzej Blikle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
.
B57
1987
